Developing Scheduler Test Cases to Verify Scheduler Implementations In Time-Triggered Embedded Systems
نویسندگان
چکیده
منابع مشابه
Developing Scheduler Test Cases to Verify Scheduler Implementations in Time- Triggered Embedded Systems
Despite that there is a “one-to-many” mapping between scheduling algorithms and scheduler implementations, only a few studies have discussed the challenges and consequences of translating between these two system models. There has been an argument that a wide gap exists between scheduling theory and scheduling implementation in practical systems, where such a gap must be bridged to obtain an ef...
متن کاملApplying the Scheduler Test Case Technique to Verify Scheduler Implementations in Multi-Processor Time-Triggered Embedded Systems
We have recently introduced a technique called “scheduler test case” (STC) as a practical means for bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems. The technique was originally applied to single-processor embedded designs employing “time-triggered co-operative” (TTC) architectures aimed at highly predictable real-time systems. It ...
متن کاملTime-Triggered Mixed-Critical Scheduler
Modern safety-critical systems, such as avionics, tend to be mixed-critical, because integration of different tasks with different assurance requirements can effectively reduce their costs. Scheduling is one of the main challenges of such systems. In this work we show that a generalization of the Time Triggered (TT) scheduling paradigm, Single Time Table per Mode (STTM) dominates other approach...
متن کاملSelecting an appropriate scheduler for use with time-triggered embedded systems
We have previously described a “language” consisting of more than seventy patterns. This language is intended to support the development of reliable embedded systems: the particular focus of the collection is on systems with a time triggered (TT) system architecture. We have been assembling this collection for a decade. As our experience with the collection has grown, we have begun to add a num...
متن کاملThe Offline Scheduler for Embedded Vehicular Systems
Nowadays, various transportation means use Linux as the operating system for their embedded control systems; however Linux uses all the processes in the hardware equally. This motivates some designer to develop an entire new Operating System for the vehicle; where a modification of Linux can produce the same and even a better product. This paper explains how this modification was designed and i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Embedded Systems and Applications
سال: 2016
ISSN: 1839-5171
DOI: 10.5121/ijesa.2016.6201